/media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.o /media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.or /media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.od /media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.op: /media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.cc \
 /media/Setup/Projects/Provers/minisat-2.2.0/mtl/Sort.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/mtl/Vec.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/mtl/IntTypes.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/mtl/XAlloc.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/utils/Options.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/utils/ParseUtils.h
/media/Setup/Projects/Provers/minisat-2.2.0/utils/System.o /media/Setup/Projects/Provers/minisat-2.2.0/utils/System.or /media/Setup/Projects/Provers/minisat-2.2.0/utils/System.od /media/Setup/Projects/Provers/minisat-2.2.0/utils/System.op: /media/Setup/Projects/Provers/minisat-2.2.0/utils/System.cc \
 /media/Setup/Projects/Provers/minisat-2.2.0/utils/System.h \
 /media/Setup/Projects/Provers/minisat-2.2.0/mtl/IntTypes.h
